Spacetime topology